home *** CD-ROM | disk | FTP | other *** search
/ Hyper Stacks 1994 May / Hyper Stacks (Pacific HiTech)(1994)[Mac].iso / Reference / Abstracts of CSLI Reports / Abstracts of CSLI Reports / card_12093.txt < prev    next >
Encoding:
Text File  |  1988-05-17  |  1.6 KB  |  46 lines
  1. -- card: 12093 from stack: in
  2. -- bmap block id: 0
  3. -- flags: 4000
  4. -- background id: 5371
  5. -- name: 
  6.  
  7.  
  8. -- part contents for background part 5
  9. ----- text -----
  10. Report No. CSLI-85-25
  11.  
  12. -- part contents for background part 6
  13. ----- text -----
  14. An Internal Semantics for Modal Logic:
  15. Preliminary Report
  16. ____________
  17.  
  18. -- part contents for background part 7
  19. ----- text -----
  20.  
  21. Ronald Fagin and Moshe Vardi
  22.  
  23. -- part contents for background part 8
  24. ----- text -----
  25.  
  26. An Internal Semantics for Modal Logic: 
  27.    Preliminary Report 
  28. Ronald Fagin and Moshe Vardi
  29.  
  30. In Kripke semantics for modal logic, 
  31. "possible worlds'' and the possibility relation are both primitive notions. This has both technical and conceptual short-comings. From a technical point of view, the mathematics associated with Kripke semantics is often quite complicated. From a conceptual point of view, it is not clear how to use Kripke structures to model knowledge and belief, where one wants a clearer understanding of the notions that are primitive in Kripke semantics. We introduce "modal structures'' as models for logic. We use the idea of possible worlds, 
  32.  
  33.  
  34. -- part contents for background part 14
  35. ----- text -----
  36.  
  37.  
  38. but by directly describing the "internal semantics'' of each possible world. It is much easier to study the standard logical questions, such as completeness, decid-ability, and compactness, using modal structures. Furthermore, modal structures offer a much more intuitive approach to modelling knowledge and belief.
  39.  
  40. -- part contents for background part 30
  41. ----- text -----
  42. Ordering Report No. CSLI-85-25
  43.  
  44. -- part contents for background part 36
  45. ----- text -----
  46. 2.00